A Novel Particle/Photon Detector Based on a Superconducting Proximity Array of Nanodots

The current frontiers in the investigation of high-energy particles demand for new detection methods. Higher sensitivity to low-energy deposition, high-energy resolution to identify events and improve the background rejection, and large detector masses have to be developed to detect even an individual particle that weakly interacts with ordinary matter. Here, we will describe the concept and the layout of a novel superconducting proximity array which show dynamic vortex Mott insulator to metal transitions, as an ultra-sensitive compact radiation-particle detector.     

Nanostructured Materials for Room‐Temperature Gas Sensors

Sensor technology has an important effect on many aspects in our society, and has gained much progress, propelled by the development of nanoscience and nanotechnology. Current research efforts are directed toward developing high‐performance gas sensors with low operating temperature at low fabrication costs. A gas sensor working at room temperature is very appealing as it provides very low power consumption and does not require a heater for high‐temperature operation, and hence simplifies the fabrication of sensor devices and reduces the operating cost. Nanostructured materials are at the core of the development of any room‐temperature sensing platform. The most important advances with regard to fundamental research, sensing mechanisms, and application of nanostructured materials for room‐temperature conductometric sensor devices are reviewed here. Particular emphasis is given to the relation between the nanostructure and sensor properties in an attempt to address structure–property correlations. Finally, some future research perspectives and new challenges that the field of room‐temperature sensors will have to address are also discussed.     

Coherence-multiplexed acousto-optic correlator for signal processing: theory and applications

A method of multichannel processing to compute correlation products simultaneously is introduced. The signals that process are encoded on a single light beam through the use of an electro-optic modulators that induce optical delays greater than the coherence length of light. The coherence-modulated light beam thus obtained is then spatially and temporally modulated through an acousto-optic Bragg cell. The potential number of channels is estimated to be approximately 5-10. The method can be combined with other existing systems, such as time-, space-, or frequency-multiplexed correlators, to increase the channel number. The method also applies to high-resolution spectral analysis.     

Situating digital storytelling within African communities

We reflect on the methods, activities and perspectives we used to situate digital storytelling in two rural African communities in South Africa and Kenya. We demonstrate how in-depth ethnography in a village in the Eastern Cape of South Africa and a design workshop involving participants from that village allowed us to design a prototype mobile digital storytelling system suited to the needs of rural, oral users. By leveraging our prototype as a probe and observing villagers using it in two villages in South Africa and Kenya, we uncovered implications for situating digital storytelling within those communities. Finally, we distil observations relevant to localizing storytelling and their implications for transferring design into a different community.     

From Flow Logic to static type systems for coordination languages

Coordination languages are often used to describe open-ended systems. This makes it challenging to develop tools for guaranteeing the security of the coordinated systems and the correctness of their interaction. Successful approaches to this problem have been based on type systems with dynamic checks; therefore, the correctness properties cannot be statically enforced. By contrast, static analysis approaches based on Flow Logic usually guarantee properties statically. In this paper, we show how the insights from the Flow Logic approach can be used to construct a type system for statically ensuring secure access to tuple spaces and safe process migration for an extension of the language Klaim.     

Exploration strategies based on multi-criteria decision making for searching environments in rescue operations

Some applications require autonomous robots to search an initially unknown environment for static targets, without any a priori information about environment structure and target locations. Targets can be human victims in search and rescue or materials in foraging. In these scenarios, the environment is incrementally discovered by the robots exploiting exploration strategies to move around in an autonomous and effective way. Most of the strategies proposed in literature are based on the idea of evaluating a number of candidate locations on the frontier between the known and the unknown portions of the environment according to ad hoc utility functions that combine different criteria. In this paper, we show some of the advantages of using a more theoretically-grounded approach, based on Multi-Criteria Decision Making (MCDM), to define exploration strategies for robots employed in search and rescue applications. We implemented some MCDM-based exploration strategies within an existing robot controller and we evaluated their performance in a simulated environment.     

Reliable regulation in centralized control systems

This paper addresses the design of a reliable control system for a linear, asymptotically stable plant. Specifically, the considered problem consists in finding a regulator which guarantees asymptotic stability, signal tracking and disturbance rejection when all the instrumentation is operational, and ensures that these properties are preserved, to the maximum possible extent, when an arbitrary number of sensors and/or actuators faults occur, that is, some of the feedback loops open. With reference to a centralized control structure and exogenous signals with multiple poles on the imaginary axis, the paper supplies a necessary and sufficient condition for the problem to admit a solution, and a possible least order regulator.     

Low-complexity FFT/IFFT IP hardware macrocells for OFDM and MIMO–OFDM CMOS transceivers

The paper presents an automated environment for fast design space exploration and automatic generation of FFT/IFFT macrocells with minimum circuit and memory complexity within the numerical accuracy budget of the target application. The effectiveness of the tool is demonstrated through FPGA and CMOS implementations (90 nm, 65 nm and 45 nm technologies) of the baseband processing in embedded OFDM transceivers. Compared with state-of-art FFT/IFFT IP cores, the proposed work provides macrocells with lower circuit complexity while keeping the same system performance (throughput, transform size and accuracy) and is the first addressing the requirements of all OFDM standards including MIMO systems: 802.11 WLAN, 802.16 WMAN, Digital Audio and Video Broadcasting in terrestrial, handheld and hybrid satellite-scenarios, Ultra Wide Band, Broadband on Power Lines, xDSL.